DR -> DR SDK #16

Merged
shenjackyuanjie merged 41 commits from feature/dr-sdk into main 2023-05-03 00:40:53 +08:00
Showing only changes of commit 32b433aaef - Show all commits

View File

@ -72,8 +72,8 @@ class _DR_option(Options):
DR_rust_available: bool = False
use_cProfile: bool = False
use_local_logging: bool = False
use_DR_rust: bool = True
# tests
playing: bool = False
debugging: bool = False