summaryrefslogtreecommitdiff
path: root/Test/test15
ModeNameSize
-rw-r--r--Answer3167logplain
-rw-r--r--IntInModel.bpl45logplain
-rw-r--r--InterpretedFunctionTests.bpl375logplain
-rw-r--r--ModelTest.bpl170logplain
-rw-r--r--NullInModel.bpl77logplain
-rw-r--r--runtest.bat380logplain