(tests
 (names toposort ConstraintBinops)
 (modes native)
 (enabled_if %{lib-available:qcheck})
 (libraries asllib qcheck)
 (modules toposort ConstraintBinops))

(tests
 (names static bitvector types)
 (modes native)
 (deps
  (:standard ../libdir/stdlib.asl))
 (libraries asllib zarith)
 (modules
  (:standard \ toposort ConstraintBinops))
 (flags
  (:standard -w -40-42))
 (action
  (setenv
   ASL_LIBDIR
   %{project_root}/asllib/libdir/
   (run %{test} -e))))

(cram
 (deps %{bin:aslref}))
