test for some primitive functions
tests/lts.exp
0 → 100644
tests/lts.sapl
0 → 100644
tests/toInt.exp
0 → 100644
tests/toInt.sapl
0 → 100644
tests/toReal.exp
0 → 100644
tests/toReal.sapl
0 → 100644
Please register or sign in to comment