pheymann/specdris

Issues

• Tag a new release for better use with elba

  #22 opened 6 years ago by NobbZ
  2

• Add QuickCheck integration.

  #1 opened 7 years ago by pheymann
  0

• Random execution order for spec cases.

  #6 opened 7 years ago by pheymann
  0

• Rename specdris.iqkg to specdris.ipkg!

  #12 opened 7 years ago by Invisible-Rabbit-Hunter
  14

• Store output in state rather printing it directly

  #8 opened 7 years ago by pheymann
  0

• Refactoring: Create SpecTree directly from DSL

  #2 opened 7 years ago by pheymann
  1