You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
error: linking with `link.exe` failed: exit code:1120
|
= note:"C:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Enterprise\\VC\\Tools\\MSVC\\14.29.30133\\bin\\HostX64\\x64\\link.exe""/NOLOGO""C:\\Users\\RUNNER~1\\AppData\\Local\\Temp\\rustc53GzlL\\symbols.o""D:\\a\\MIRAI\\MIRAI\\target\\x86_64-pc-windows-msvc\\dist\\deps\\mirai.aho_corasick-03b578cbcef0f[274](https://github.com/os-checker/MIRAI/actions/runs/10803406690/job/29967209902#step:7:275).aho_corasick.d1fe4c7fc1a79192-cgu.00.rcgu.o.rcgu.o""D:\\a\\MIRAI\\MIRAI\\target\\x86_64-pc-windows-msvc\\dist\\deps\\mirai.aho_corasick-03b578cbcef0f274.aho_corasick.d1fe4c7fc1a79192-cgu.01.rcgu.o.rcgu.o""D:\\a\\MIRAI\\MIRAI\\target\\x86_64-pc-windows-msvc\\dist\\deps\\mirai.aho_corasick-03b578cbcef0f274.aho_corasick.d1fe4c7fc1a79192-cgu.02.rcgu.o.rcgu.o""D:\\a\\MIRAI\\MIRAI\\target\\x86_64-pc-windows-msvc\\dist\\deps\\mirai.aho_corasick- .... = note: LINK : warning LNK4098: defaultlib 'MSVCRT' conflicts with use of other libs; use /NODEFAULTLIB:library LINK : warning LNK4286: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(spacer_unsat_core_learner.obj)' LINK : warning LNK4286: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(spacer_unsat_core_plugin.obj)' LINK : warning LNK4286: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(spacer_arith_kernel.obj)' LINK : warning LNK4286: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(min_cut.obj)' LINK : warning LNK4217: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(proof_utils.obj)' in function '"public: class ref_vector<class app,class ast_manager>::element_ref __cdecl ref_vector<class app,class ast_manager>::operator[](unsigned int)" (??A?$ref_vector@Vapp@@Vast_manager@@@@QEAA?AVelement_ref@0@I@Z)'LINK: warning LNK4217: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(spacer_farkas_learner.obj)' in function '"public: __cdecl std::pair<class expr *,unsigned int>::pair<class expr *,unsigned int><class expr *&,int,0>(class expr *&,int &&)" (??$?0AEAPEAVexpr@@H$0A@@?$pair@PEAVexpr@@I@std@@QEAA@AEAPEAVexpr@@$$QEAH@Z)'
...
The text was updated successfully, but these errors were encountered:
https://github.com/os-checker/MIRAI/actions/runs/10803406690/job/29967209902
The text was updated successfully, but these errors were encountered: