USB Serial not working on Arduino Core

[urish]

This example doesn't print any output in the simulator. It works on the physical device.

Tested both with the official Arduino Core and Community Arduino core.

void setup()
{
  Serial.begin(115200);
  Serial.println("Hello from Arduino Core\n");
}

int counter = 0;

void loop()
{
  Serial.print("Counter: ");
  Serial.println(counter++);
  delay(1000);
}