RustanLeino User points: 2 Member Since: Mar 26, 2023 (1 year) Avatar: Recent Answers Visual Studio Code - Different Dany compile outputs for witness clause when compiled using VSC and the standalone compiler Started 1 year, 7 months ago