Tests

Workflow runs for Tests

• Update core-lib, and fix some number-related issues (#44)

  completed successfully:
  Tests#55:Commitad8d011pushedbysmarr
  master

  Oct 22, 20262m 1s
  More actions for workflow run 55

• Update core-lib, and fix some number-related issues

  completed successfully:
  Tests#54:Pull request#44openedbysmarr
  smarr:number-fixes

  Oct 22, 20261m 48s
  More actions for workflow run 54

• Implement #instVarNamed: prim, fix SClass' handling of number of fiel…

  completed successfully:
  Tests#53:Commit3d8ad6dpushedbysmarr
  master

  Oct 9, 20261m 31s
  More actions for workflow run 53

• Implement #instVarNamed: prim, fix SClass' handling of number of fields

  completed successfully:
  Tests#52:Pull request#43openedbysmarr
  smarr:inst-var-named

  Oct 9, 20261m 33s
  More actions for workflow run 52

• The parser has a redundant opSyms list (#42)

  completed successfully:
  Tests#51:Commit9ef26f1pushedbysmarr
  master

  Sep 1, 20263m 16s
  More actions for workflow run 51

• The parser has a redundant opSyms list

  completed successfully:
  Tests#50:Pull request#42synchronizebysmarr
  smarr:parser-opsyms

  Sep 1, 20263m 19s
  More actions for workflow run 50

• The parser has a redundant opSyms list

  completed successfully:
  Tests#49:Pull request#42synchronizebysmarr
  smarr:parser-opsyms

  Sep 1, 20263m 9s
  More actions for workflow run 49

• The parser has a redundant opSyms list

  failed:
  Tests#48:Pull request#42synchronizebysmarr
  smarr:parser-opsyms

  Sep 1, 20262m 8s
  More actions for workflow run 48

• The parser has a redundant opSyms list

  failed:
  Tests#47:Pull request#42synchronizebysmarr
  smarr:parser-opsyms

  Sep 1, 20262m 31s
  More actions for workflow run 47

• The parser has a redundant opSyms list

  failed:
  Tests#46:Pull request#42synchronizebysmarr
  smarr:parser-opsyms

  Sep 1, 20262m 27s
  More actions for workflow run 46

• The parser has a redundant opSyms list

  failed:
  Tests#45:Pull request#42openedbysmarr
  smarr:parser-opsyms

  Sep 1, 20262m 4s
  More actions for workflow run 45

• Setup JKU CI (#41)

  completed successfully:
  Tests#44:Commita785e4apushedbysmarr
  master

  Jun 7, 20263m 10s
  More actions for workflow run 44

• Setup JKU CI

  completed successfully:
  Tests#43:Pull request#41openedbysmarr
  smarr:jku

  Jun 7, 20263m 9s
  More actions for workflow run 43