Skip to content

Commit

Permalink
Update core-lib (#34)
Browse files Browse the repository at this point in the history
  • Loading branch information
@smarr
smarr authored Mar 15, 2023
2 parents b0c8a2a + c127729 commit bfcddf5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion core-lib
Submodule core-lib updated 4 files
+60 −27 TestSuite/BooleanTest.som
+51 −27 TestSuite/IntegerTest.som
+9 −9 TestSuite/SymbolTest.som
+22 −0 TestSuite/TestCase.som

0 comments on commit bfcddf5

Please sign in to comment.