Kuba Orlik 85fb1d29c7 Move to the new file-pointer syntax
Summary:
Harmonize file pointer behavior across JDD, sealious, sealgen

Remove ghosts of previous tests

Reviewers: #reviewers

Subscribers: jenkins-user

Differential Revision: https://hub.sealcode.org/D1446
2024-04-30 10:12:04 +02:00
..
2024-04-14 18:49:26 +02:00