Skip to content

Commit 38fc1f7

Browse files
committed
test(quality): fix false-confidence tests + add 5 language YAML cases
1 parent 58f5377 commit 38fc1f7

11 files changed

Lines changed: 889 additions & 53 deletions

ANALYSIS.md

Lines changed: 0 additions & 35 deletions
This file was deleted.
Lines changed: 95 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,95 @@
1+
name: c_family_001_include_pulls_header
2+
repo:
3+
initial_files:
4+
math_utils.h: |
5+
#ifndef MATH_UTILS_H
6+
#define MATH_UTILS_H
7+
8+
int add(int a, int b);
9+
int multiply(int a, int b);
10+
11+
#endif
12+
13+
math_utils.c: |
14+
#include "math_utils.h"
15+
16+
int add(int a, int b) {
17+
return a + b;
18+
}
19+
20+
int multiply(int a, int b) {
21+
return a * b;
22+
}
23+
24+
string_utils.h: |
25+
#ifndef C_FAMILY_NOISE_001_STRUTILS_H
26+
#define C_FAMILY_NOISE_001_STRUTILS_H
27+
28+
int C_FAMILY_NOISE_001_strlen(const char *s);
29+
void C_FAMILY_NOISE_001_strrev(char *s);
30+
31+
#endif
32+
33+
string_utils.c: |
34+
#include "string_utils.h"
35+
36+
int C_FAMILY_NOISE_001_strlen(const char *s) {
37+
int n = 0;
38+
while (*s++) n++;
39+
return n;
40+
}
41+
42+
void C_FAMILY_NOISE_001_strrev(char *s) {
43+
int len = C_FAMILY_NOISE_001_strlen(s);
44+
for (int i = 0; i < len / 2; i++) {
45+
char tmp = s[i];
46+
s[i] = s[len - 1 - i];
47+
s[len - 1 - i] = tmp;
48+
}
49+
}
50+
51+
changed_files:
52+
math_utils.h: |
53+
#ifndef MATH_UTILS_H
54+
#define MATH_UTILS_H
55+
56+
int add(int a, int b);
57+
int multiply(int a, int b);
58+
int subtract(int a, int b);
59+
60+
#endif
61+
62+
commit_message: Update files
63+
64+
fragments:
65+
- id: math_h_subtract
66+
selector:
67+
path: math_utils.h
68+
anchor: subtract
69+
- id: math_c
70+
selector:
71+
path: math_utils.c
72+
anchor: add
73+
- id: no_string_h
74+
selector:
75+
path: string_utils.h
76+
- id: no_string_c
77+
selector:
78+
path: string_utils.c
79+
- id: no_global_0
80+
selector:
81+
anchor: C_FAMILY_NOISE_001_strlen
82+
- id: no_global_1
83+
selector:
84+
anchor: C_FAMILY_NOISE_001_strrev
85+
86+
oracle:
87+
required:
88+
- math_h_subtract
89+
- math_c
90+
allowed: []
91+
forbidden:
92+
- no_string_h
93+
- no_string_c
94+
- no_global_0
95+
- no_global_1
Lines changed: 89 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,89 @@
1+
name: cargo_001_workspace_member_pulls_root
2+
repo:
3+
initial_files:
4+
Cargo.toml: |
5+
[workspace]
6+
members = ["crate_a"]
7+
resolver = "2"
8+
9+
crate_a/Cargo.toml: |
10+
[package]
11+
name = "crate_a"
12+
version = "0.1.0"
13+
edition = "2021"
14+
15+
[dependencies]
16+
17+
crate_a/src/lib.rs: |
18+
pub fn compute(x: i32) -> i32 {
19+
x + 1
20+
}
21+
22+
unrelated_crate/Cargo.toml: |
23+
[package]
24+
name = "unrelated_crate"
25+
version = "0.1.0"
26+
edition = "2021"
27+
28+
[dependencies]
29+
30+
unrelated_crate/src/lib.rs: |
31+
pub fn CARGO_NOISE_001_unrelated_func(x: i32) -> i32 {
32+
x * 100
33+
}
34+
35+
changed_files:
36+
Cargo.toml: |
37+
[workspace]
38+
members = ["crate_a", "new_crate"]
39+
resolver = "2"
40+
41+
new_crate/Cargo.toml: |
42+
[package]
43+
name = "new_crate"
44+
version = "0.1.0"
45+
edition = "2021"
46+
47+
[dependencies]
48+
crate_a = { path = "../crate_a" }
49+
50+
new_crate/src/lib.rs: |
51+
pub fn new_crate_entry_point() -> i32 {
52+
0
53+
}
54+
55+
commit_message: Update files
56+
57+
fragments:
58+
- id: workspace_cargo
59+
selector:
60+
path: Cargo.toml
61+
anchor: new_crate
62+
- id: new_crate_cargo
63+
selector:
64+
path: new_crate/Cargo.toml
65+
anchor: name = "new_crate"
66+
- id: crate_a_cargo
67+
selector:
68+
path: crate_a/Cargo.toml
69+
anchor: name = "crate_a"
70+
- id: no_unrelated_cargo
71+
selector:
72+
path: unrelated_crate/Cargo.toml
73+
- id: no_unrelated_lib
74+
selector:
75+
path: unrelated_crate/src/lib.rs
76+
- id: no_global_0
77+
selector:
78+
anchor: CARGO_NOISE_001_unrelated_func
79+
80+
oracle:
81+
required:
82+
- workspace_cargo
83+
- new_crate_cargo
84+
allowed:
85+
- crate_a_cargo
86+
forbidden:
87+
- no_unrelated_cargo
88+
- no_unrelated_lib
89+
- no_global_0
Lines changed: 99 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,99 @@
1+
name: css_001_import_pulls_dependent
2+
repo:
3+
initial_files:
4+
base.css: |
5+
:root {
6+
--color-primary: #3498db;
7+
--color-background: #ffffff;
8+
--font-size-base: 16px;
9+
}
10+
11+
body {
12+
margin: 0;
13+
padding: 0;
14+
font-size: var(--font-size-base);
15+
background: var(--color-background);
16+
}
17+
18+
theme.css: |
19+
@import "base.css";
20+
21+
.button {
22+
background: var(--color-primary);
23+
color: white;
24+
padding: 8px 16px;
25+
border-radius: 4px;
26+
}
27+
28+
reset.css: |
29+
* {
30+
box-sizing: border-box;
31+
CSS_NOISE_001_reset_marker: none;
32+
}
33+
34+
ul, ol {
35+
list-style: none;
36+
CSS_NOISE_001_list_reset: true;
37+
}
38+
39+
print.css: |
40+
@media print {
41+
.CSS_NOISE_001_no_print {
42+
display: none;
43+
}
44+
.CSS_NOISE_001_print_only {
45+
display: block;
46+
}
47+
}
48+
49+
changed_files:
50+
theme.css: |
51+
@import "base.css";
52+
53+
.button {
54+
background: var(--color-primary);
55+
color: white;
56+
padding: 8px 16px;
57+
border-radius: 4px;
58+
border: none;
59+
cursor: pointer;
60+
}
61+
62+
commit_message: Update files
63+
64+
fragments:
65+
- id: theme_cursor
66+
selector:
67+
path: theme.css
68+
anchor: cursor
69+
- id: base_css
70+
selector:
71+
path: base.css
72+
anchor: color-primary
73+
- id: no_reset
74+
selector:
75+
path: reset.css
76+
- id: no_print
77+
selector:
78+
path: print.css
79+
- id: no_global_0
80+
selector:
81+
anchor: CSS_NOISE_001_reset_marker
82+
- id: no_global_1
83+
selector:
84+
anchor: CSS_NOISE_001_list_reset
85+
- id: no_global_2
86+
selector:
87+
anchor: CSS_NOISE_001_no_print
88+
89+
oracle:
90+
required:
91+
- theme_cursor
92+
- base_css
93+
allowed: []
94+
forbidden:
95+
- no_reset
96+
- no_print
97+
- no_global_0
98+
- no_global_1
99+
- no_global_2

0 commit comments

Comments
 (0)