Merge remote-tracking branch 'lucas/ropes'
[nit.git] / tests / sav / base_fun_reassign.sav
2012-04-16 Jean Privattests: add some base tests