std.env.finish does not wait until current simulation cycle finishes
std.env.finish
does not wait until current simulation cycle finishes, it ends the simulation immediately. This is my observation with GHDL, I am not sure what is the exact specification in the standard. However, if this is a correct behavior, then I propose to enforce that simulation must end only when the current simulation cycle ended. Currently one might write a testbench without even realizing that some assert never takes place. What is more, it opens a door for different behavior between simulators.