| commit | 0aeef6e509a38a8a1d063739d5850284e7c3e62e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 23 Nov 2011 09:58:46 +0000 (23 10:58 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 23 Nov 2011 09:58:46 +0000 (23 10:58 +0100) | ||
| tree | c9e415b372c8d47a65e64117e2550d752c3278c3 | treesnapshot (tar.gz zip) |
| parent | 539408125215ab35a2181bc8144d5d8c781d7d06 | commitdiff |
add extra min test
The model generated based on the internal handling of min should
be the same as that generated from a macro definition of min.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The model generated based on the internal handling of min should
be the same as that generated from a macro definition of min.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| tests/min2.c | [new file with mode: 0644] | blob |
| tests/min2.scop | [new file with mode: 0644] | blob |