Commit graph

3 commits

Author SHA1 Message Date
Per Lindgren
1c709b3d8d run tests added 2022-02-05 01:10:31 +01:00
Per Lindgren
c0e9da8642 soundness and cost 2022-02-05 01:10:30 +01:00
Per Lindgren
a6aa28b277 soundness and cost 2022-02-05 01:10:30 +01:00