1*** Variables ***
2${SYSTEMC_BINARY}                    @https://dl.antmicro.com/projects/renode/x64-systemc--test-synchronization.elf-s_606984-4b970b9b9da67d412220cc827634accb89619139
3${EXECUTE_IN_LOCK_PERIPHERAL}        @tests/platforms/systemc/test-synchronization/ExecuteInLockPeripheral.cs
4${PLATFORM}=     SEPARATOR=
5...  """                                                                            ${\n}
6...  test: Test.ExecuteInLockPeripheral @ sysbus 0x1000000                          ${\n}
7...                                                                                 ${\n}
8...  writer_systemc: SystemC.SystemCPeripheral @ sysbus <0x9000000, +0xffffff>      ${\n}
9...  ${SPACE*4}address: "127.0.0.1"                                                       ${\n}
10...  ${SPACE*4}timeSyncPeriodUS: 5000                                                     ${\n}
11...  """
12
13*** Test Cases ***
14Should Not Deadlock Writing To ExecuteInLockPeripheral
15    [Tags]                          skip_windows    skip_osx
16    Execute Command                 using sysbus
17    Execute Command                 mach create
18    Execute Command                 include ${EXECUTE_IN_LOCK_PERIPHERAL}
19    Execute Command                 machine LoadPlatformDescriptionFromString ${PLATFORM}
20    Execute Command                 sysbus.writer_systemc SystemCExecutablePath ${SYSTEMC_BINARY}
21    Create Log Tester               1
22    Start Emulation
23
24    Wait For Log Entry              Got write request with value 0xAB
25