1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 02:15:29 +01:00

ccall((:printf, "libc"), ...) produces segfault for large examples??

This commit is contained in:
kalmarek 2017-08-27 19:13:20 +02:00
parent f543d847ea
commit 69a3ab8d87

View File

@ -60,7 +60,7 @@ function solve_SDP(SDP_problem)
# to change buffering mode of stdout to _IOLBF (line bufferin)
# see https://github.com/JuliaLang/julia/issues/8765
ccall((:printf, "libc"), Int, (Ptr{UInt8},), "\n");
# ccall((:printf, "libc"), Int, (Ptr{UInt8},), "\n");
o = redirect_stdout(solver_logger.handlers["solver_log"].io)