batch generation

2023-05-08 15:30:51 +01:00
parent a9c2b58edc
commit fba52b7f8c
2 changed files with 5 additions and 4 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -13,6 +13,7 @@ dataset/*
 **/combine/
 **.json

+**.log
 **/tmp/**
 **/failed_scenarios/
 **/passed_senarios/