search

rse-verification / interface-specification-propagator

GNU General Public License v2.0
0 stars 0 forks source link

Fix inference of structs #7

Closed gustavung closed 2 months ago

gustavung commented 5 months ago

Fixes #6

woosh commented 5 months ago

Isn't there supposed to be some oracle file for the test? Also, it would be nice if the test ghissue_006 included some comment what the test is about.