File tree 2 files changed +6
-2
lines changed 2 files changed +6
-2
lines changed Original file line number Diff line number Diff line change
1
+ // RUN: rm -rf %t*
2
+ // RUN: mkdir %t.alltypes && cd %t.alltypes
1
3
// RUN: 3c -base-dir=%S -alltypes -dump-stats -dump-intermediate -debug-solver %s
2
4
// RUN: python -c "import json, glob; [json.load(open(f)) for f in glob.glob('*.json')]"
5
+ // RUN: mkdir %t.noalltypes && cd %t.noalltypes
3
6
// RUN: 3c -base-dir=%S -dump-stats -dump-intermediate -debug-solver %s
4
7
// RUN: python -c "import json, glob; [json.load(open(f)) for f in glob.glob('*.json')]"
5
8
Original file line number Diff line number Diff line change 1
1
// RUN: rm -rf %t*
2
- // RUN: 3c -dump-stats -base-dir=%S -alltypes -addcr %s -- 2>%t.stderr | FileCheck -match-full-lines %s
3
- // RUN: FileCheck -match-full-lines -check-prefixes="CHECK_STDERR" --input-file %t.stderr %s
2
+ // RUN: mkdir %t && cd %t
3
+ // RUN: 3c -dump-stats -base-dir=%S -alltypes -addcr %s -- 2>stderr | FileCheck -match-full-lines %s
4
+ // RUN: FileCheck -match-full-lines -check-prefixes="CHECK_STDERR" --input-file %t/stderr %s
4
5
5
6
6
7
#include <stdlib.h>
You can’t perform that action at this time.
0 commit comments