Changeset 39d9b32
- Timestamp:
- May 3, 2022, 9:52:03 AM (3 years ago)
- Branches:
- ADT, ast-experimental, master, pthread-emulation, qualifiedEnum
- Children:
- b6ae4fb, ffc1689
- Parents:
- 49a1684
- Location:
- tests
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/.expect/forall.txt
r49a1684 r39d9b32 1 forall.cfa:24 2:25: warning: Compiled1 forall.cfa:244:25: warning: Compiled -
tests/forall.cfa
r49a1684 r39d9b32 1 // 1 // 2 2 // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo 3 3 // 4 4 // The contents of this file are covered under the licence agreement in the 5 5 // file "LICENCE" distributed with Cforall. 6 // 7 // forall.cfa -- 8 // 6 // 7 // forall.cfa -- 8 // 9 9 // Author : Peter A. Buhr 10 10 // Created On : Wed May 9 08:48:15 2018 … … 12 12 // Last Modified On : Sat Jun 5 10:06:08 2021 13 13 // Update Count : 36 14 // 14 // 15 15 16 16 void g1() { … … 172 172 } 173 173 174 forall( T | { T ?+?( T, T ); } ) forall( S | { T ?+?( T, S ); } ) 174 forall( T | { T ?+?( T, T ); } ) forall( S | { T ?+?( T, S ); } ) 175 175 struct XW { T t; }; 176 176 XW(int,int) xww;
Note: See TracChangeset
for help on using the changeset viewer.