Search results

Improve root cause tests to also verify JSON output

root-cause

testing

Status: Open.

#674 In correctcomputation/checkedc-clang;

· john-h-kastner opened on Aug 9, 2021

Make 3C work sensibly on already preprocessed code

clang preprocessor

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#535 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Apr 7, 2021

2 comments

Increase verification of 3C output in benchmark tests

testing

Status: Open.

#428 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Feb 15, 2021

2 comments

Get the benchmark tests GitHub action passing again

testing

Status: Open.

#424 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Feb 10, 2021

2 comments



Should we use Csmith (+ CReduce) to test 3c for seg-faults?

testing

Status: Open.

#406 In correctcomputation/checkedc-clang;

· Machiry opened on Jan 27, 2021

3 comments



Clean up test RUN commands

cleanup

testing

Status: Open.

#346 In correctcomputation/checkedc-clang;

· kyleheadley opened on Dec 7, 2020

5 comments



3C build status badge points to deleted workflow

testing

Status: Open.

#326 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Nov 5, 2020

2 comments



Build target for 3C tests that reuses previous results if inputs haven't changed

low priority

testing

Status: Open.

#294 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Oct 16, 2020

2 comments

_Itype_for_any(T) parameter itype duplicated

generic

itypes

testing

Status: Open.

#216 In correctcomputation/checkedc-clang;

· mwhicks1 opened on Aug 10, 2020

3 comments