Search results

support -X switches

Status: Open.

#37 In AdaCore/adareducer;

· setton opened on Jul 27, 2022

the project should be passed in a -P switch

Status: Open.

#33 In AdaCore/adareducer;

· setton opened on Mar 7, 2022

IndexError: list index out of range

Status: Open.

#31 In AdaCore/adareducer;

· glacambre opened on Feb 9, 2022

add coverage reports to the CI

Status: Open.

#25 In AdaCore/adareducer;

· setton opened on Feb 3, 2022

make sure we don't eat the last contents of exception blocks

Status: Open.

#13 In AdaCore/adareducer;

· setton opened on Jan 31, 2022

[Feature Request] Output average oracle time and other statistics

Status: Open.

#4 In AdaCore/adareducer;

· vser1 opened on Nov 22, 2021