Skip to content

Commit 6bed219

Browse files
Update run_info.txt
1 parent 92df425 commit 6bed219

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
Command: ablation_studies/run_experiment.py --variant dt --env CartPole-v1 --seed 0 --contract experiment_contract_light.yaml
2-
Git Hash: dff7c5547e3f745d1af3cf887c64bc0142e00f74
1+
Command: ablation_studies/run_experiment.py --variant dt --env CartPole-v1 --seed 0 --contract verification_contract.yaml
2+
Git Hash: f5b2e77b75ed47ead5c0c888b91ece3dd30e9534

0 commit comments

Comments
 (0)