-
Notifications
You must be signed in to change notification settings - Fork 19
Closed
Description
Before starting HW5, I wanted to fix problems in HW4, so I ran the added test cases with make all in the given Docker image, but got the following error.
File "test/dune", line 18, characters 3-81:
18 | (pipe-stdout
19 | (run ../analyzer interval example1.ll)
20 | (run cut -f1 -d,)))))
Error: 'pipe-stdout' is only available since version 2.7 of the dune
language. Please update your dune-project file to have (lang dune 2.7).Changing the dune version in dune-project to 2.9 (the version from dune --version fixed the problem. Was this done when grading HW4? I assume the TAs would have made this change, but I just wanted to be sure :)
Metadata
Metadata
Assignees
Labels
No labels