Added standard library

Vanja-S · May 18, 2023 · b92115d · b92115d
1 parent c2b273b
commit b92115d
Show file tree

Hide file tree

Showing 10 changed files with 15 additions and 2,445 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -17,15 +17,15 @@
             "request": "launch",
             "mainClass": "Main",
             "projectName": "PINSCompiler_aaffa8a2",
-            "args": "PINS --exec IMC --dump IMC test.pns"
+            "args": "PINS --exec FRM --dump FRM test.pns"
         },
         {
             "type": "java",
             "name": "App",
             "request": "launch",
             "mainClass": "App",
             "projectName": "PINSCompiler_aaffa8a2",
-            "args": "test ./ TestsRunner/tests/6-frm-1.tst -v"
+            "args": "test ./ TestsRunner/tests/6-frm.tst -v"
         },
         {
             "type": "java",