source: tests/.expect/forall.txt @ a51b8f6

ADTast-experimental
Last change on this file since a51b8f6 was 39d9b32, checked in by Andrew Beach <ajbeach@…>, 3 years ago

Adjusted line number in forall test.

  • Property mode set to 100644
File size: 37 bytes
Line 
1forall.cfa:244:25: warning: Compiled
Note: See TracBrowser for help on using the repository browser.