search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

Integrate OnePoint #595

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by maeder and assigned to till Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/595

The module spechub/Hets:CASL/CCC/OnePoint.hs is only imported but not used. Should it be integrated like CASL.QuickCheck but as a consistency checker?

sternk commented 10 years ago

Comment by till Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/595#comment:1

Yes, it should be integrated as a consistency checker.