Changeset d964c39 for tests/forall.cfa


Ignore:
Timestamp:
Feb 25, 2023, 6:45:44 PM (3 years ago)
Author:
caparson <caparson@…>
Branches:
ADT, ast-experimental, master
Children:
601bd9e
Parents:
ce44c5f (diff), 2d028003 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed

  • tests/forall.cfa

    rce44c5f rd964c39  
    1010// Created On       : Wed May  9 08:48:15 2018
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Sun Feb  5 07:54:43 2023
    13 // Update Count     : 90
     12// Last Modified On : Thu Feb 23 20:29:59 2023
     13// Update Count     : 91
    1414//
    1515
    … …  
    195195
    196196forall( T ) struct S { T t; } (int) x, y, z;
    197 forall( T ) struct { T t; } (int) a, b, c;
     197static forall( T ) struct { T t; } (int) a, b, c;
    198198
    199199forall( T ) static forall( S ) {
Note: See TracChangeset for help on using the changeset viewer.