Error after installation in Ubuntu 19.10 about ciao

[mlupm]

1. I load the module in the top level in emacs
2. I select the option run test in current module in the CiaoDbg tab
3. Error: user:run_test_in_module/1 - existence error: procedure: user:run_test_in_module/1 does not exist

[jfmc]

Could you run ciao list | grep ciaodbg in a shell terminal and check if ciaodbg is listed?

[mlupm]

I have checked with the command and ciaodbg is indeed listed

[jfmc]

Could you try the following?

?- use_module(library(unittest)).
?- run_tests_in_module(<<YOUR MODULE>>).

Probably emacs is not asking Ciao to load the unittest library.

[mlupm]

It seems that emacs was the problem as you mentioned, now it works. Thanks for the help.