Code

VDMUnit for VDM-SL#671

Code

Open

lausdahl wants to merge 13 commits intodevelopmentoverturetool/overture:developmentfrom kel/vdmsl-test-liboverturetool/overture:kel/vdmsl-test-libCopy head branch name to clipboard

+347-90

Commits

Commits on Feb 22, 2018

• added testing support for vdm sl

  Show description for 642b412
  lausdahl

  committed
  642b412

  Copy full SHA for 642b412

Commits on Mar 2, 2018

• do not remove workspace

  lausdahl

  committed
  b672ce3

  Copy full SHA for b672ce3

• Support VDM-SL test failures

  peterwvj

  committed
  a30cba5

  Copy full SHA for a30cba5

• Support VDM-SL setUp and tearDown

  peterwvj

  committed
  3c43cf5

  Copy full SHA for 3c43cf5

• increased log history jenkins

  lausdahl

  committed
  e3a3e8c

  Copy full SHA for e3a3e8c

Commits on Mar 5, 2018

• fixed null pointer, where a name was taken out of a function that uses patterns

  lausdahl

  committed
  f56c00f

  Copy full SHA for f56c00f

• updated junit report with error messages and fail flag for sl

  lausdahl

  committed
  fdb91cc

  Copy full SHA for fdb91cc

Commits on Mar 6, 2018

• change junit report message to use error message instead of plain error number

  lausdahl

  committed
  d5472ae

  Copy full SHA for d5472ae

• fixed setup teardown calls so not test report info is recorded for these + added error message to console and handling of internal interpreter errors in report

  lausdahl

  committed
  6bf885f

  Copy full SHA for 6bf885f

Commits on Mar 23, 2018

• Update JUnit4Trans to handle SL Assert and TestRunner

  peterwvj

  committed
  020ba1a

  Copy full SHA for 020ba1a

• Merge remote-tracking branch 'origin/pvj/main' into kel/vdmsl-test-lib

  peterwvj

  committed
  1f2767e

  Copy full SHA for 1f2767e

• Remove wrong warning

  peterwvj

  committed
  3f58d3f

  Copy full SHA for 3f58d3f

Commits on Jul 9, 2018

• fixed issue with test not stopping execution after markfail

  lausdahl

  committed
  8c36cd2

  Copy full SHA for 8c36cd2