nitlanguage / nit.git / blob
? search:


17e511f8445fb2a44fbe8c6b5140f25089bc33b8
[nit.git] / tests / sav / test_refinement.sav
1 4! = 24
2 4! = 24
Nit language project; an oo programing language and its tool suite.