search

NeVerTools / pyNeVer

A Python library for learning and verification of neural networks and other machine learning models
Other
9 stars 3 forks source link

"Checkpoints root" parameter bug #1

Closed KarimPedemonte closed 2 years ago

KarimPedemonte commented 3 years ago

If the "Checkpoints root" parameter is set to a directory not ending with / (or \ in Windows), as in the first image below, the .pth.tar file containing the checkpoint is saved in the parent directory, with the name of the intended directory prepended to the file name. CheckpointsNeverBug As shown in the second image, the file has its name preceded by "Desktop", and is saved in the /home/k directory instead of /home/k/Desktop. CheckpointsNeverTarBug If the directory set in "Checkpoints root" ends with / (or \ in Windows), the program behaves as expected.

sdemarch commented 3 years ago

@darioguidotti should this be addressed in pynever?

darioguidotti commented 3 years ago

@sdemarch Yes, but I think it is legitimate to expect the root parameter to require the string to be formatted in this way. Given that it is not a blocking problem we can discuss it in the next meeting.