new goal files for Ubuntu 24.04

codespecs / daikon

Dynamic detection of likely invariants

http://plse.cs.washington.edu/daikon/

Other

214 stars 54 forks source link

Closed markro49 closed 2 months ago

mernst commented 2 months ago

I believe I need to make new Docker images to make these tests pass. Is that right?

markro49 commented 2 months ago

They ci checks should pass as the new goal files are not being used as yet. I ran the tests on a 24.04 wsl box.