fix: handle quotes in --tla-str and --ext-str in "tk eval"#1237

Merged

zerok merged 2 commits intografana:mainfrom rudo-thomas:fix-tla-str-quoting

Nov 22, 2024

+42-2

Commits on Nov 21, 2024

fix: Handle quotes in --tla-str and --ext-str in "tk eval".
rudo-thomas
committed

Commits on Nov 22, 2024

test: Add test for the --tla-* and --ext-* flags parsing.
rudo-thomas
committed